This book constitutes the refereed proceedings of the 4th International Conference on Computability in Europe, CiE 2008, ...